-
1 identity morphism
Математика: тождественный морфизм -
2 identity morphism
-
3 morphism
морфизм dually universal morphism ≈ двойственно универсальный морфизм fiber bundle morphism ≈ морфизм расслоенного пространства left regular morphism ≈ регулярный слева морфизм local vector bundle morphism ≈ локальный морфизм векторных расслоений locally embeddable morphism ≈ локально вложимый морфизм locally stable morphism ≈ локально устойчивый морфизм locally trivial morphism ≈ локально тривиальный морфизм principal bundle morphism ≈ морфизм главных расслоений projectively embeddable morphism ≈ проективно вложимый морфизм purely inseparable morphism ≈ чисто несепарабельный морфизм residually stable morphism ≈ резидуально устойчивый морфизм right liberty morphism ≈ освобождающий справа морфизм right regular morphism ≈ регулярный справа морфизм universally closed morphism ≈ универсально замкнутый морфизм universally submersive morphism ≈ универсально субмерсивный морфизм - bijective morphism - bilogical morphism - bimeromorphic morphism - birational morphism - bounded morphism - bundle morphism - canonical morphism - categorical morphism - central morphism - clone morphism - closed morphism - cobounded morphism - codiagonal morphism - coequating morphism - coessential morphism - coimage of morphism - coliberty morphism - commutator morphism - compactifiable morphism - compatibility morphism - composite morphism - connecting morphism - coperfect morphism - covering morphism - divisible morphism - dominant morphism - dual morphism - embeddable morphism - epic morphism - etale morphism - extendable morphism - factored morphism - factorial morphism - fibered morphism - finite morphism - flat morphism - functorial morphism - fuzzy morphism - general morphism - geometric morphism - graded morphism - groupoid morphism - homotopic morphism - identity morphism - index of morphism - induced morphism - inductive morphism - injective morphism - inseparable morphism - invertible morphism - kernel of morphism - lattice morphism - liftable morphism - limit morphism - manifold morphism - monic morphism - morphism of colimit - morphism of complexes - morphism of functors - morphism of limit - morphism of manifolds - morphism of premanifold - morphism of presheafs - morphism of rings - morphism of semigroups - morphism of sheafs - natural morphism - neighbor morphism - nonstrict morphism - nontrivial morphism - open morphism - periodicity morphism - pregroup morphism - projective morphism - proper morphism - pseudosmooth morphism - quasicompact morphism - quasifinite morphism - quasiprojective morphism - quotient morphism - ramified morphism - restriction morphism - semilattice morphism - separated morphism - shape morphism - simplicial morphism - splitting morphism - stable morphism - strong morphism - submersive morphism - substitution morphism - surjective morphism - terminal morphism - topological morphism - trace morphism - transfer morphism - transversal morphism - universal morphism - unramified morphism - zero morphism (математика) морфизмБольшой англо-русский и русско-английский словарь > morphism
-
4 morphism
-
5 тождественный морфизм
Большой англо-русский и русско-английский словарь > тождественный морфизм
-
6 adjunction
1) дополнение
2) сопряжение
3) присоединение ∙ adjunction of an identity element ≈ присоединение единицы adjunction of an integral ≈ матем. присоединение интеграла - adjunction complex - adjunction formula - adjunction isomorphism - adjunction morphism - adjunction of integral - adjunction space - algebraic adjunction - extension by adjunction - field adjunction - ring adjunction - rule of adjunction - set of adjunction - symbolic adjunctionБольшой англо-русский и русско-английский словарь > adjunction
См. также в других словарях:
Morphism — In mathematics, a morphism is an abstraction derived from structure preserving mappings between two mathematical structures. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms are functions; in linear… … Wikipedia
Identity function — In mathematics, an identity function, also called identity map or identity transformation, is a function that always returns the same value that was used as its argument. In terms of equations, the function is given by f ( x ) = x… … Wikipedia
Zero morphism — In category theory, a zero morphism is a special kind of morphism exhibiting properties like those to and from a zero object. Suppose C is a category, and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A … Wikipedia
Comma category — In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become… … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Glossary of category theory — This is a glossary of properties and concepts in category theory in mathematics.CategoriesA category A is said to be: * small provided that the class of all morphisms is a set (i.e., not a proper class); otherwise large. * locally small provided… … Wikipedia
Enriched category — In category theory and its applications to mathematics, an enriched category is a category whose hom sets are replaced by objects from some other category, in a well behaved manner.DefinitionWe define here what it means for C to be an enriched… … Wikipedia
Multicategory — In mathematics (especially category theory), a multicategory is a generalization of the concept of category that allows morphisms of multiple arity. If morphisms in a category are viewed as analogous to functions, then morphisms in a… … Wikipedia